Cc(m), an Kernel for Implementing Cc Languages

In this article, we tackle the problem of compiling cc(X) languages 9, 13] where X is an admissible constraint domain. The diiculty of this task consists in one) representing and optimising diierent domains X and two) providing an parallel and extensible execution model. A simple way to meet these demands is to provide a minimal parallel (and distributable) kernel language expressive enough to represent constraint domains over. We ooer our solution based on a instanciation of a cc languages, namely cc(M), a low level concurrent language which we will use as a kernel language for cc(X).